fun ([<Foo>] a) -> ()
